Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: Computer Networks, 100h/year, L2, University of Grenoble – C. Roisin

• Licence: Logic, 67h30/year, L3, University of Grenoble – N. Gesbert

• Licence: Algorithmics, 60h/year, L3, University of Grenoble – N. Gesbert

• Licence: Academic-side tutoring of an apprentice, 10h/year, University of Grenoble – N. Gesbert

• Master: Logic, 22h30/year, M1, University of Grenoble – N. Gesbert

• Master: Web development, 22h30/year, M1, University of Grenoble – N. Gesbert

• Master: Software analysis, conception and validation, 45h/year, M1, University of Grenoble – N. Gesbert

• Master: Foundations for XML: logics and automata, 18h/year, M2 (Mosig), University of Grenoble – P. Genevès

• Master: Fundamentals of Mobile Frameworks and Applications, 50h/year, M1, Polytech, University Joseph Fourier of Grenoble – J. Lemordant

• Master: Fundamentals of Mobile Frameworks and Applications, 50h/year, M2, University Scientific and technologic of Hanoi – J. Lemordant

• Master: Fundamentals of Mobile Frameworks and Applications, 36h/year, M1, MIAGE, University Joseph Fourier of Grenoble – J. Lemordant

• Master: Fundamentals of Mobile Frameworks and Applications, 36h/year, M2, University Pierre Mendes-France of Grenoble – J. Lemordant

Supervision

• HdR: N. Layaïda, Representation and analyses of web content and processing, Université de Grenoble, 23 April 2013.

• PhD in progress: D. Graux, Large scale evaluation of semantic web queries, since November 2013, N. Layaïda and P. Genevès

• PhD in progress: N. Guido, Satisfiability for Expressive $\mu$-calculi, since October 2012, C. Roisin and P. Genevès

• PhD in progress: M. Junedi, Query-Update Independence Analysis under Constraints , since October 2012, C. Roisin and N. Layaïda